// Copyright (C) 2008 Victor Marzo
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
//
// Linking this library statically or dynamically with other modules is
// making a combined work based on this library.  Thus, the terms and
// conditions of the GNU General Public License cover the whole
// combination.
// 
// As a special exception, the copyright holders of this library give you
// permission to link this library with independent modules to produce an
// executable, regardless of the license terms of these independent
// modules, and to copy and distribute the resulting executable under
// terms of your choice, provided that you also meet, for each linked
// independent module, the terms and conditions of the license of that
// module.  An independent module is a module which is not derived from
// or based on this library.  If you modify this library, you may extend
// this exception to your version of the library, but you are not
// obligated to do so.  If you do not wish to do so, delete this
// exception statement from your version.

using System;
using System.Collections.Generic;

namespace NForth
{
	public class DataStack
	{
		private static Stack<object> stack = new Stack<object>();

        public static void Clear()
        {
            stack.Clear();
        }
		
		public static void Push(object o)
		{
			stack.Push(o);
		}
		
		public static object Pop()
		{
			return stack.Pop();
		}
		
		public static object[] ToArray()
		{
			return stack.ToArray();
		}
		
		public static void Print()
		{
			object[] array = ToArray();
			
			for(int i = array.Length - 1; i >= 0; i--)
			{
				string type, value;
				if(array[i] != null)
				{
					value = array[i].ToString();
					type = array[i].GetType().Name;
				}
				else
				{
					value = "<>";
					type = "Null";
				}
				
				Console.WriteLine(String.Format(
					" {0}:{1}",
					value, type));
			}
		}
	}
}
